81. Fuzzy Databases :
پدیدآورنده : by Frederick E. Petry.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Data structures (Computer science),Logic, Symbolic and mathematical.,Mathematics.,Artificial intelligence.,Data structures (Computer science),Logic, Symbolic and mathematical.,Mathematics.
رده :
QA8
.
9-10
.
3
82. Fuzzy Logic :
پدیدآورنده : W Leinfellner
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Fuzzy sets -- Congresses.,Fuzzy systems -- Congresses.
83. Fuzzy Sets in Information Retrieval and Cluster Analysis
پدیدآورنده : by Sadaaki Miyamoto.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Mathematics.,Systems theory.
رده :
QA248
.
B973
1990
84. Fuzzy Systems
پدیدآورنده : edited by Hung T. Nguyen, Michio Sugeno.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Computer engineering.,Logic, Symbolic and mathematical.,Mathematics.,Mechanical engineering.,Operations research.
85. Geometric Calculus
پدیدآورنده : by Giuseppe Peano.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Mathematics.
86. Graph structure and monadic second-order logic :
پدیدآورنده : Bruno Courcelle, Joost Engelfriet
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical-- Graphic methods
رده :
QA9
.
C748
2012
87. Handbook of mathematical logic. tics; ed. by barwise, jon.
پدیدآورنده :
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical.,Logic, Symbolic and mathematical.,Symbolische logica.,Wiskundige logica.
رده :
QA9
.
H32
1977
88. Includes bibliographical references (p. 49-51). 0,B
پدیدآورنده : Zeren Tanındı. ,/ Katie Normington.
کتابخانه: كتابخانه مجلس شورای اسلامى (تهران)
موضوع :
89. Inconsistent Mathematics
پدیدآورنده : by Chris Mortensen.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Algebra-- Data processing.,Logic, Symbolic and mathematical.,Logic.,Mathematics.
90. Institution-independent model theory
پدیدآورنده : Diaconescu, Razvan
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Model theory,، Logic, Symbolic and mathematical
رده :
QA
9
.
7
.
D53
2008
91. Intelligent Tutoring Systems :
پدیدآورنده : edited by Mitsuru Ikeda, Kevin D. Ashley, Tak-Wai Chan.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.,Information systems.,Multimedia systems.
92. Interpolation Theory and Its Applications
پدیدآورنده : by L. A. Sakhnovich.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Fourier analysis.,Logic, Symbolic and mathematical.,Mathematics.,Operator theory.
93. Introduction to mathematical logic
پدیدآورنده : / [by] Jerome Malitz
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه علامه طباطبایی (تهران)
موضوع :
رده :
QA9
،.
M265
94. Introduction to mathematical logic /
پدیدآورنده : Elliott Mendelson
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical
رده :
QA9
.
M4
2010
95. Introduction to mathematical logic
پدیدآورنده : Jerome Malitz
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع : Logic, Symbolic and mathematical
رده :
QA
9
.
M265
96. Introduction to mathematical logic
پدیدآورنده : Elliott Mendelson.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical -- Problems, exercises, etc.,Logic, Symbolic and mathematical.
رده :
QA9
.
E455
2015
97. Introduction to mathematical logic : set theory, computable functions, model theory
پدیدآورنده : Malitz, Jerome
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه حکیم سبزواری (خراسان رضوی)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
M265
1979
98. Introduction to mathematical logic : set theory computable functions model theory
پدیدآورنده : Malitz, Jerome
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
M265
1979
99. Introduction to mathematical logic: Set theory computable functions model theory
پدیدآورنده : Jerome Malitz
موضوع : Logic, symbolic and mathematical
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
100. Introduction to mathematical logic: set theory, computable funtions, model theory
پدیدآورنده : Malitz, Jerome
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
M26
